Automated Fault Localization Using Potential Invariants1
نویسندگان
چکیده
We present a general method for fault localization based on abstracting over program traces, and a tool that implements the method using Ernst’s notion of potential invariants. Our experiments so far have been unsatisfactory, suggesting that further research is needed before invariants can be used to locate faults.
منابع مشابه
Automated Fault Localization Using Potential Invariants
We present a general method for fault localization based on abstracting over program traces, and a tool that implements the method using Ernst’s notion of potential invariants. Our experiments so far have been unsatisfactory, suggesting that further research is needed before invariants can be used to locate faults.
متن کاملAutomated Fitness Guided Fault Localization
Software fault localization is an essential and expensive process in software correction, which motivates the design of analysis tools that automate this process as much as possible. This paper presents the Fitness Guided Fault Localization (FGFL) system, a novel approach to fault localization that employs an ensemble of software analysis techniques guided by a fitness function to perform autom...
متن کاملSurvey of Software Fault Localization
I present a survey of automated techniques for software fault localization. Fault localization or localizing the root cause of failure is one of the most difficult processes in software debugging. Hence, many automated techniques have emerged to help in this process. Most of these techniques are based on the principles used in real life for fault diagnosis. I have used these principles to class...
متن کاملA New Spectrum-based Fault Localization Method by Using Clustering Algorithm
Locating the errors or faults in the software debugging process is very expensive and time-consuming. Therefore, automated debugging has become popular due to its capability to reduce cost and increase the efficiency. Spectrum-based method is one of the most important automated fault localization methods in the Software debugging techniques. Most of the existing spectrum-based fault localizatio...
متن کاملAutomated Fault Localization Techniques; A Survey
Fault localization is a task in software debugging to identify the set of statements in a program that cause the program to fail. As size and complexity of software grows,and the more developers participate in debugging, fault localization becomes harder than before. Automated fault localization techniques aim to facilitate this task by guiding the developers to a small portion of program that ...
متن کامل